A CALCULUS FOR SELF-REFERENCE · Study