Use pseudo boolean notation