Implications/Indirect examples/If then statement/Contraposition/Exercise