switch to alternative formulae for transformation and princ
dir;corrected typo in bool_condition;