raxfatci lujvo

f1=r1 is absurd, contrary to expectation r2 in aspect r3.

Cf. fatci, ranxi.