Sentence:  The Mathematical Appendix presents the rigorous argument , but is best read after Part 1 , in order that the assumptions underlying the equations may <WSD>be</WSD> explicit . 
Meaning of the word marked with <WSD> tags:  have the quality of being; (copula, used with an adjective or a predicate noun)