Query You Want to Implement Must