implement Facts()