proof , Error