Added Proving a Negative to the Theory of Operation