Up to *One Program, Many Definitions* in Prologue