I wanted to document the assumptions where they actually take place. These assumptions are the "fault" of that function, the rest of the class is only using the end results. The \see below takes care of raising the attention + providing a link in the generated doc to the assumptions.