Title: A mathematical semantics and theory of rester graphics