Rephrasing conditionals

Rephrasing conditionals