Add sphinx documentation for old assumptions in the core

there's probably no need to echo the symbol...your call, though.