New issue from Richard Smith about is_empty specification