Analyzing the Validity of E-Contracts