I think no matter what you write, the user can always write a prompt that causes a logical contradiction (Gödel, Escher, Bach). At that point, the results are up for grabs.

"This record cannot be played on record player X" is analogous to "This prompt cannot be obeyed by language model X"