user_guide:tutorials:release:4.13:polytope_semantics