more Gauche-y way to mutate