1. A COMPLETION OF B. MOSSÉ'S UNILATERAL RECOGNIZABILITY THEOREM
    previously revised as ``A review of Mossé's recognizability theorem''