How does a derivation differ from an experiment or theory?