user_guide:tutorials:release:4.4:polytope_semantics