user_guide:tutorials:release:3.5:polytope_semantics