Now that timestamps are included in votes, we can use them to construct a BFT time to be included in the next header Need to write a spec for how to do this and then implement it.