Title: The logic of life