Tagged kearns-rotolo-law