i : ^x ; rv.i.