Inferential Soundness - Derek Allen (Informal Logic, 1988)