Computers are bad: a pedantic review of the Las Vegas loop