Derived facts