В логике есть два пути: да и нет.
Есть условие: если.
Есть направление: тогда.
В отношениях должно быть также.