>The fact that "99.9999% of the time" is spent doing other things is the problem. If you're doing applied math like type theory and make an advancement, that's

>The fact that "99.9999% of the time" is spent doing other things is the problem. If you're doing applied math like type theory and make an advancement, that's research. If you're doing anything else, that's the Development part of R&D. It's not a problem, at all. Whether you're developing new algorithms, analyzing them, running simulations, studying and understanding the results, all that _is_ research. I think you're being too narrow in your definitions.