Formation and Validity