He didn't use the word lean. NASA has gone to the moon. It is as of yet unclear whether the likes of Musk can pull that off. It seems intuitively likely that some things are best done by/funded through the government.