Lively Logic