matto comments on Some notes on solving hard problems