proc beto