Revert "First commit and Asier proving"

This reverts commit 166b73187feacdfe6bd3dae13be6c63a60f35287.