Ilimit 24 4 plm. Axioma de especificación. Modelo computacional.

Casper clone. Chupetes y tetinas.