https://mixrolikus.cc/video/jXwCVjuWPmA/predicate-logic-first-order-logic-higher-order-logic