Article 1. Formal Requirements