_∈-Bool_