Add additional assumptions