00EY Definition 2.2 (Wilson [W1]). A Calabi-Yau model YY is a normal projective variety with canonical singularities and such that KY∼ℚ0K_{Y}\sim_{\mathbb{Q}}0.