improved identifier spec