The "equivalent-but-more-efficient program" example given at the top is almost exactly that, though