# Maybe no post today

I’m doing some emergency midterm grading so I might not have a post finished today. If I do, it’ll definitely be later in the day. Also, am I the only one confused by the fact that both ends and the Grothendieck consruction use the $\int$ sign but aren’t actually related (as far as I can tell)?