Exercise in dissolving — LessWrong