Added needed facts for tests