@trostparadox: Defining AGI