Implements more useful functions for models and adds an example knights + knaves statement.