So, what is the correct output?