Dominik Harant has logged records in 12 patterns and jigjug has logged records in 173 patterns.
They aren't competing for any of the same records.