exploring models on life

towards general and universal axioms