Prove Language Is Considered