On Tuesday, 29 July 2014 at 01:07:44 UTC, Walter Bright wrote: > You're misunderstanding and misusing assert. > > 'assume' is completely redundant with 'assert'. Nope, you are conflating what is proven by what is not proven an by what cannot be proven. If it is proven, then you don't need headroom at all!