habryka comments on Problem relaxation as a tactic

[habryka]

My guess is that it was an accident. Fixed it for the author.