doc: ASSUME in libs