And yet they somehow landed on the one definition that’s not fun.