https://keithratner.live/abstract-with-rules/