tutorial:polytope_semantics