Higman/Higman: true and false instead of lA and lB