back
𝒯↪⃖ lexPSh(C)