And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.