El problema le ocupó durante toda su vida académica; al final de ésta propuso, junto a Steven Givant, una definición en dos partes: