answered the 'diagonal map' question.