ple calculus