Mary is happy Mary is happy