Naming Labels for KEKs