Validated equations