"assert" should be LOAD-BEARING ASSUMPTION