Rules That Go Only One Way

Doing the then-part doesn't mean the if-part happened