Reasoning over the latter is a lot easier than the...
# announcements
c
Reasoning over the latter is a lot easier than the former.