If only we could agree on what AGI is.