Filled in some details of Timestamp_Maker.Valid_Request. The code is not examinable yet.