Talk:Atkinson–Mingarelli theorem