[L03 State] Fixing up isHappy after misinterpreting requirement