Added some more facts