Notes on yellow paper, [65Konf] 065-0100