A dotted name cannot start with a digit