Clarify map lifting and application.