Just a list of assumptions so far