Doesn't above code cover all the cases according to Ref[2]. What does the following code segment do?