Statistics for Mendebaldeko berbetearen formalizazioa