johnswentworth comments on Take 5: Another problem for natural abstractions is laziness.