Rather, my read of the history is that MIRI was operating in an argumentative argument where:
argumentative environment?
argumentative environment?