Mahmoud Al-Tanahi's methodology in text verification