In which sentence are auxiliary verbs correctly used to form the aspect intended?