Def Booleanisation

Modification history