Redirecting to Sperner's lemma