Eliminate fully-abstract entity names.