Costello Selects (RT)Proofs