Remove needless later in total adequacy.
I don't know why this later was there in the first place, but Coq confirms it's not needed :).
Edited by Robbert Krebbers
I don't know why this later was there in the first place, but Coq confirms it's not needed :).