https://nforum.ncatlab.org/discussion/8505/initial-data/