Added a label for the no-cloning theorem.