Esto podía acotarse con modificaciones tales como codice_9 (‘hallar «Bob» en el campo de tarjeta «hola»’).