Tag Archives: First-order doctrines are foundational