It is easy, within the confines of the orthodox approach, to assert Snow is white, to assert that is true, that '( is true' is true, that ''( is true' is true' is true, etc.; the various occurrences of 'is true' in the sequence are assigned increasing subscripts.