BoolExp
data
BoolExp
a
check