Existence of minimal models for varieties of log general type | Synapse