Explicit rigid matrices in P^NP via rectangular PCPs - Prahladh Harsha