Clear enough. It is not theft. It is violation of the copyright law. A crucial distinction. Theft means you take away someone's legal property so they're not in possession of it any more. File-sharing does not take their copyright away and give it to the thief. Copyright-theft is a different thing. Right?