Planning points for Isomorphisms section of values-functors post.