Find!
x1 being the case is a matter of common sense or common knowledge; it's common knowledge that x1 is the case.