Proposed syntax