user_guide:tutorials:master:polytope_semantics