BoolUtils
BoolUtils.scilla on Github
andb