On Wednesday, 30 July 2014 at 10:17:58 UTC, Ola Fosheim Grøstad wrote: > Let's try to me more formal about it then. > > "assert(X)" means: !(X) || bottom > > "assume(X)" means: X Got that wrong (so much for correctness!): "assert(X)" means: X || bottom "assume(X)" means: X