Mentioning Eckert and Mauchly requires also mentioning Atanasoff, with whom they lost a priority dispute.