$HAEDAL be positive