"Using Traits" fully verified