Finals: Gilroy TProofs: Gilroy T