p: proving (2)
8961 of 12877 Book 70% ~1 min left