https://thebossmind.com/understanding-predicates-in-logic-and-computing/