Find!
x1 is an axiom (seemingly self-evident truth based on assumption) observed by x2.
See also sruma, li'armi.