I really think it's harder to get more literal than this:
> He could be losslessly replaced by a rock with the words “THERE ARE NO ROBBERS” on it.
Guards that do not adopt that heuristic cannot be replaced by that rock.
I really think it's harder to get more literal than this:
> He could be losslessly replaced by a rock with the words “THERE ARE NO ROBBERS” on it.