thm:allbool-trueorfalse, close #211