Prove Language Is Not Necessarily