added expected facts