Does Not Model Logic (⊭) Copy and Paste