id: MitM/NewFoundation
narration-base: http://mathhub.info/MitM/NewFoundation