First working implementation of EFQ.