Axioma de especificación. Barcelona humillado.

Modelo computacional. Casper clone.