Sec. 3.2 (editorial)

[dsibold]

Sec 3.2, second paragraf, first sentense
Remark: The timestamps t_1, t_2, and t_3 are not used anymore else in the document. I would therefore suggest removing them. This is a suggestion for how the sentence may be rephrased.

A Roughtime server ensures that the timestamp included in the response to a query is generated after the reception of the query and prior to the transmission of the associated response.