Ring ACCPROVER