Calculo Tipo
: 1 b II