Remark: No contradiction with Enter

Enter records outcomes rather than returning the identity channel on the consumed measured factor. A legal continuation can nevertheless act on other surviving quantum factors and return the diary. The obstruction and the teleportation example concern different complete returned interfaces.