Derived by logic, not from observed facts