Envoyer par SMS: The tight Second Law inequality for coherent quantum systems and finite-size heat baths