Shmi comments on Exercise in dissolving

[Shmi]

Strange loops FTW! Anyway, the tricky part is defining what “correct” means in this case. Oh, and here is my answer.