> Asserts ... the condition is supposed to be impossible to be false, just not provable by the type system

Very nicely said!