Derived facts tests