Find!
x1 [rules/methods] is a logic for deducing/concluding/inferring/reasoning to/about x2 (du'u).
Also (adjective:) x1, x2 are logical. See also nibli.