https://erdorin.org/deventter-empty-set/