true. - Предикат, ассоциированный со значением "Истина"

goal: true.

Да