Unfortunately Proof 2b doesn't quite work due to being only 1 tag, just as a head's up, but we can make enough combinations out of Proof 1 to count.

For instance:
[5 log comments]
[4 log comments} + Proof 2a