What would have happened in those days if Celtic had lost or drawn - with Willie being Cup-tied, I mean?