You are reporting the paste Conjecture verb form of procedure.