working on assume