Correct. Which is why I think it is a mistake if they are not accounted for in the post-theoretic notion.
Correct. Which is why I think it is a mistake if they are not accounted for in the post-theoretic notion.