learning how to prove algorithms (unfortunately, without having taken undergrad pure maths)Interested in data integration and maintenance thereof.