Derivation and Counterexample