using correct facts in tests