Is everybody happy?