P and not ( Q and Z