Verifying Inverse.pdf