some of the notation that follows is stripped down but clear in context