Redirecting to Borel's lemma