Made a picture expressing the relationship between the logical and
programmatic fragments more pretty.