I would like to work on adding assumptions option to repl. I have attached a screenshot of what I think should be the design.