NOTE on Aut-generated English caption: in 1:08–1:12, auto-generated English caption says “Inner Dilemma” but actually it is “Yoneda lemma”(Thanks Junko and M…