Adjust framing in EIP-5192 spec (#5386)

EIPS/eip-5192.md

@@ -27,7 +27,7 @@ The keywords "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SH
 
 ### Contract Interface
 
-Upon minting a token implementing this EIP, it must be permanently inseparable from the receiving account. All [EIP-721](./eip-721.md) functions of the contract that transfer the token from one account to another must throw.
+A token with a `uint256 tokenId` may be inseparably-nound to a receiving account with `function locked(...)` returning `true`. In this case, all [EIP-721](./eip-721.md) functions of the contract that transfer the token from one account to another must throw.
 
 ```solidity
 // SPDX-License-Identifier: CC0-1.0