Corollary 4.4.2.3. Let $q: X \rightarrow S$ be morphism of simplicial sets which is either a left or a right fibration. Then, for every vertex $s \in S$, the fiber $X_{s} = \{ s\} \times _{S} X$ is a Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$