Contributed an operation for omnifalse to work, doesn't seem to be working allright though. Investigate tomorrow