What is the inference for John proctor