add addit'l assumptions