How exactly did they go about proving that it continues to glide forever, despite the lack of periodicity? Is there some finite combination of subsequent tile groups in aperiodic tilings, such that you just have to show that all of them involve a transition another part of the glider cycle?