+ Proof of X  cmts  [00:02]
+ Make Boring Plans  cmts  [23:02]