RT @justinesherry: Please help settle a marital dispute between me and @rubengmartins. If you have a CS degree, did you learn sequent calcu…