Implements testCases/0