Move examples out of the definition box for clarity. Also, no need to mention adversaries here, but do keep the part about poly * negligible = negligible.
done - nikhil