Functions of the Principal and SMT

March 15, 2017