Categorical: first version of assigning testcases (failing)