Old definitions have been removed