assert(false) on internal logic error