4 ms·Small correction: "Plankalkül" which translates to "plan calculus"by monopede 15y agoSmall correction: "Plankalkül" which translates to "plan calculus"