Dominion machines print a ballot, which the voter takes — and as such, can see the vote — and deposits for counting separately. The final vote tally can be from the machines, but there’s always the paper ballots available to count — which is what a recount is: a manual count of the ballots. The machines simplify the process but they don’t change it.