Verification and meaning (Milton Keynes Open University, 1976)