How to Write and If and only If