Proofs generation > procrastination.
1,09K