Lei Yi pan calculus