RT MW A1 Hasker, William T1 Middle knowledge : theory and applications