File 64: The Megamycete Theorem