Complete analysis of Anderson's proof with mixed quantifiers