I've completed a proof for the student role header: It can be viewed at: http://www.msu.edu/~upletawa/loncapa/userroles.html as usual, comments and crits are welcome nishreen