All of those remarks look correct to me. Though “at the right level of generality and meta” is doing a lot of the work.
All of those remarks look correct to me. Though “at the right level of generality and meta” is doing a lot of the work.