english: we conclude A× X(X×Z)≅A×ZA \times_X (X \times Z) \cong A \times Z, seen as an object over XX via ϕ∘π A:A×Z→X\phi \circ \pi_A \colon A \times Z \to X. Thus arrows in the slice C/XC/X of the form
non_english: Tha dhim x dhim x tha dhim x dhim x dhim x Tha dhim x dhim x tha dhim x dha x tha x