user_guide:tutorials:latest:polytope_semantics