∃x Happy(x)