John is happy