"There exist languages such as ML that are strongly" . . . .