Output is the same as desired.