Back to the email A anon January 8, 2026, midnight Mathematically we would write this as all x: f.Pre(x) => f.Post(x) Shouldn't it be all x: f.Pre(x) => f.Post(x, f(x))? Reply and Subscribe
Shouldn't it be
all x: f.Pre(x) => f.Post(x, f(x))?