How did Givental come up with his quantization formalism?