Real Conditionals C by William G. Lycan