Better living through better logic