Formalne_prawo_grupowe_Lubina-Tate'a does not exist