[Anul2] Add Mihai Varga's latest contributions.