Claim: Joy (entertainer) is part of Red Velvet.
Evidence: She is a member of the K-pop girl group Red Velvet.