Add some explanations on the predicative proof that epis are surjective