Boolean_domain