Lexoram Mark 7 was a tax robot in San Francisco, back when we used human names for their settlements. It was aware of the silliness of the bean-counting involved in its programming