Pedro is going to use SAS to prove that PQR