Statistically speaking, 6 out of 7 dwarves are not happy.