Can you please remove this for now? It will get incorporated as part of the general negation of assertions.