What are "selection theorems" and can they tell us anything useful about the likely shape of AGI systems?