Split up formal requirements