Unique is now a trait; README; Test 3 fix