add "see also" to assume functions