https://datadosen.com/en/a/Predicate_logic