restriction on the scope of the diagonal argument