That's an interesting question that I don't know the answer to, because I've never studied LET or spent any significant time thinking about it. Is there a way to see that my Alice/Bob scenario is logically inconsistent in LET too? If someone who reads this has thought about such things, I wouldn't mind being told the answer so that I don't have to think about it.
