bool expl