Sin embargo, los lenguajes que distinguen entre distintos tipos de aserciones – p.ej.