Judías rojas al pimentón

Remojar en agua las judías la víspera. Al día siguiente escurrir y colocar en una cacerola cubiertas con agua fría. Cocer a fuego suave. Mientras tanto asar la cabeza de ajo y añadir entera a las judías. Mover la cacerola de vez en cuando para que no se peguen, pero sin meter una cuchara para no romperlas. Añadir agua fría según lo vaya pidiendo, de manera que siempre estén cubiertas, un dedo por encima de las judías.
Picar las cebollas y los pimientos verdes. Cuando las judías lleven cociendo alrededor de una hora añadir la hoja de laurel y un poco de sal y remover. Añadir también el jamón para aportar sabor y un poco de grasa al guiso. Mientras tanto poner aceite en una sartén y sofreír la cebolla y los pimientos con un poco de sal. Cuando estén pochados agregar el pimentón, rehogar deprisa y mojar con el tomate triturado, agregar los cominos, dejar que se sofría todo junto unos minutos y añadir luego a las judías. Dejar que cueza otra hora más o menos. Si la salsa queda líquida chafar unas judías
y dejar cocer un poco más. Rectificar de sal, retirar los trozos de jamón y servir caliente.