(assert)