https://alessandria.today/2019/02/03/abstraction-as-a-condition/