Assertion and conditionals - Appiah Anthony (London CUP, 1985)