Clean Logic PDQ