changed assumptions to have inf as upper limit as there was too many violations