A beautiful logic of problem-solving