Double Auxiliaries, Anteriority and Terminativity