If Conditional Phil Logic