[RFR] Add doc about assumptions