integrated the ability to reason about competitive queries