Hey I was wondering what you thought about "img_of_proof_for(requirement)".