if p then q‘s imminent next publication ntst by Geof Huth is at the printers. In the mean time here’s a sampler. I think you’d define it as a corker:

LINK