added some required facts to the test