https://123dok.net/document/zwv98m10-universal-nulls-extended-abstract.html