Added not on assumptions