Added documentation of returned facts