bool semantic