Working on BoolExp.