My own attempt to deal with this issue (2013): http://thinkinghard.com/blog/UniqueFactorisation.html