Title: Logic for living