Theories are distinct from theorems: theorems are derived deductively from theories according to a formal system of rules, generally as a first step in testing or applying the theory in a concrete situation. Theories are abstract and conceptual, and to this end they are never considered right or wrong. Instead, they are supported or challenged by observations in the world.