Find!
x1 is a falsehood asserted by x2 towards x3 in order to hide x2's knowledge from x4.
See tictra