Find!
l1 [rules/methods] is a doxastic logic for deducing/concluding/inferring/reasoning to/about l2 (du'u).