Return to Intermediate Prover By Russell Carter Published March 29, 2015 Full size is 464 × 300 pixels