https://profilbaru.com/article/First-order_logic