As I understand it, a significant portion of the cleverness is in the audacity of encoding something liar paradox-like into a formal logical framework (and perhaps also the precision with which logics were specified and differentiated from one another).