> we can clearly specify what AGI or ASI is

We'll have plenty of time for this, while living off UBI.