i'm simple and make people around me happy using happy theorem but naughty sometimes using naughty principle.