mv myformal_commands.tex to formal_methods_commands pkg
start counting from 0 in \slideshow