More happy than not
In the category 0