Read codebase and implement feature. Read paper and prove conjecture.