Alliable Asin – Formal Logic