rm stupidity from doubleVertNotation.R