Map first and second to an instance of TO.
first and second mapped to an instance of TO.
the first source value.
the second source value.