Gabriel Juvencio has logged records in 5 patterns and Dominik Harant has logged records in 8 patterns.
They aren't competing for any of the same records.