knuthocean#old