proposed syntax