Puzzler 14: Puzzler on implicit conversions

enclosed you find a puzzler on implicit conversions. I am not yet that happy with the explanation, probably you can check that one. It is clear to me what the compiler does, but I cannot map that 1 by 1 on the spec.