Premisa: sin embargo no sirve para firma digital, ni proporciona medios para cifrar mensajes
Hipótesis: el sistema ideado no implementa de forma completa la idea del criptosistema de clave pública que habían ideado
Conector eliminado: por tanto
Etiqueta del conector: reasoning
Etiqueta humana (mayoría): entailment