Tekstiviesti: Tractable triangles and cross−free convexity in discrete optimisation