Greetings. Can anybody tell me what complexity class "nub" belongs to? (The implementation in the Language Report appears to have n^2 complexity. Do the actual implementations out there follow?)