fresh = ()
nominal environment
ViewPattern example