The “real public” wants math to advance so that we can reap the benefits. We don’t care what tools you are or are not using, grant money will go to whichever group is making more progress.