modify the specification of boolean values