Find!
x1 is functional/operational/usable for function x2; x1 works properly
See also spofu, cikre, daspo.