@divbyzero ooh, that's very nice! (And our best lecturer starts his first-year course every year with "minimum" and a warning to be careful)