RT AA A1 Leftow, Brian T1 Swinburne on divine necessity