That would require making the behavior of the living things part of the formal specification, which isn’t really possible.