Added check for validity of a fact. Closes #9