Adds @RobFreiburger's solutions.