Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
What if I'm not presenting the constructions? I could be interpreting the use of QEF wrong; I'm questioning whether or not I'm able to use QEF due the sake of my simplification being for ease of notation, despite the unsimplified definition being usable.