leo_kitty (frbdd is offline)