Threefolds Whose Canonical Bundles Are Not Numerically Effective | Synapse