Prove Language Is Not Necessarily The