Seth Herd comments on Universal basic income isn’t always AGI-proof