https://4plyyarn.blogspot.com/2022/04/predicate-logic-in-artificial.html