user_guide:tutorials:release:3.3:polytope_semantics