aff=RHS7RS