Document Pablo.v
Document Pablo.v
Add code formatting