Error-Free Full Version