change number-> nat for identifiers