New in Animal Logic