Adds some probability upper bounds.
Updates diagram with upper and lower bounds.
Changes 'oracles' to 'queries' to better match diagram.