pred=\n.\f.\x.n(\g.\h.h(gf))(\u.x)(\u.u)

Da das automatische Ausfüllen von Form-Data in Browsern gefährlich ist, weil man sie mit diversen exploits möglicherweise unbemerkt auslesen kann, wird hier das addon Secure Login für Firefox empfohlen. Sehr gut! Das war nämlich ein Feature von Opera, das ich vermisst habe.