Started with the implementation of a test case
Implemented a second test case
Reworked some lines: Changed the denotation; Deleted the first test case