Should we know how many mafioso there are? The first post says 4, but indicates it would be adjusted based on the number of players.