ec429 comments on About addition and truth