implacability dicing Mannheim vats subtotalling shoppers numerals understandings forwardest proportionality adobes