Updates ignore file.
Refactors and shows main conjecture.