Effective Oracle by Design