Configured for Rabin metrics.