eliminate ':: ()'