empirical proof of facts that didn't require it

[waider]

1 litre of milk will not, in fact, fit in a half-litre tankard.