Opaque recurrence, and other AI terms that you should probably know