oracle-consultation

Use before invoking Oracle to ensure appropriate usage of this expensive reasoning resource

oracle
consultation