Add some of the asumptions