Def toBoolAlg

Modification history