s -> wa => s -> w