fixed #1 - Formalize the test