You are reporting the paste Theorem.