https://9lib.org/document/yj7mn8k5-image-mapping-τ-pair-defines-maximum-function-preimage.html