Proved the Yoneda lemma with Ed