spec for boolean