A shorthand for [Kevin Kenny].