Search results for: 'eagl psi 2.12 card in proof'