Working on verification of proto exercise