define( 'UPLOADS', 'papers' );
f a l l 2 0 2 1
decision theory (ug/g)
s p r i n g 2 0 2 2
symbolic logic (ug/g)
formal methods (g)