TODO: a user requested a new syntax