Closure to efficient causation, computability and artificial life.

Closure to efficient causation, computability and artificial life.