Add sphinx documentation for old assumptions in the core

`is considered to be not` -> is not considered to be`