>>294
p∧¬q