Title: Logic for Life