Thanks for the link.

So: what about GUIS? How does one formally describe pixels displayed on a screen in a way that captures their ability to correctly communicate with the human intended to view them? So that my notice

  Please turn off the foo within bar

doesn't show up truncated to say

  Please turn off the foo

on all reasonably applicable screens? This example is just one of a googleplex of possible failures.