Existen cuatros tipos principales de comprobación: