added some facts and assertions