Clarify and make explicit some of the requirements for transforming