user_guide:tutorials:release:4.12:polytope_semantics