Clarifications for starting the solve, suggested by @KitClement.