Source: https://mechanics.stackexchange.com/questions/32965/craftsman-push-mower-wont-start-after-hitting-stump