Working on moduleSpecification.md