revising comments, adding formal syntax