user_guide:tutorials:release:4.6:polytope_semantics