This paper provides an algebraic reconstruction of Einstein's own argument for the incompleteness quantum mechanics -- one that he thought did not make it into EPR in order to clarify assumptions underlie understanding Einstein completeness as categoricity, sense which is a type descriptive completeness, and some various ways has been more often misconstrued.