it's cheaper to store the user as key and do an isset($users[$user])) instead of in_array.