S. Verona Lišková comments on Infra-Exercises, Part 1

[S. Verona Lišková]

I’ve posted complete, Moore-method-style solutions over on my blog. Spoilers, natch. Please nitpick them to death.