==> logic/min.max.s <== Let T denote shortest of tall Let S denote tallest of short ------------------------------- | | | | | S | | | | | | T X | | | | | | | | | ------------------------------- So T >= X >= S.