Instance key (rec. hopefully-final)