shorter identifiers