Adding priority clause explanation; see #2