formally smooth map