Adding docstring.
Adding facts.