Now throws REQUIRED_ERROR from use_checks rather than an invalid error
Example, test and documentation additions