Axioma de especificación. Perro dorado. Modelo computacional. Barcelona humillado.

Casper clone.