Completed bag theorem.