nyaya: boolean expression exercise