"Tagging Traits and Case Objects" fully verified