On a Verdier quotient of a derived category of a local ring | Synapse