user_guide:tutorials:polytope_semantics