Mathematical Knowledge and Sentential vs. Subsentential Priority