Then true(e) = before(e) and false(e) = vars(e).
Así, unidade, verdade e bondade serían predicables de todos os entes e non só dunha parte deles.