user_guide:tutorials:release:4.0:polytope_semantics