To me it sounds like AIM2CERV is working and the reason why it was not shelved. What he actually wrote is different from what you say he wrote. He stated a conjecture. You claim he stated a fact. Also misleading.