Which conditional formula is right?