Adds extended version of the bonum problem solution