Rewriting group verification.