Add a note about yoneda reduction