proof message construction