First commit and Asier proving