Formal correct module
Replaced print with say