"Case Classes" fully verified