Add comments
First try at formalize
Add some prints
Add tests
Renamings