contravariant yoneda reduction is trustworthy. really.