Kotaro Minami has logged records in 8 patterns and Jachym has logged records in 0 patterns.
They aren't competing for any of the same records.