user_guide:tutorials:release:4.5:polytope_semantics