premise: <hypo>, he argues, terrorists such as Abu Zubaydah and Khalid Sheikh Mohammed would not have yielded the vital information he says they gave up.
hypothesis: <hypo> should be "If he had not permitted waterboarding"