This is the opposite of what the mathematical community were asking for. I say this as someone who strongly approves of this approach.
Yeah I'm not sure they met them even halfway.