thesis result notes in document, bifunctions to nested functions in list