法条里还有变量，这是要解方程啊！法官法的数学素养貌似不输姜萍。