сообщать - Matita

Что не так с этим мгновением?