That would require making the behavior of the living things part of the formal s...

		layer8 10 days ago \| parent \| context \| favorite \| on: Test, don't just verify That would require making the behavior of the living things part of the formal specification, which isn’t really possible.