https://profilpelajar.com/Predicate_logic