sark comments on About addition and truth