https://123dok.net/document/yj79kv2p-constructive-interval-disjunction.html