The mugging is defined as having conditionality; just read Bostrom's paper or Baumann's reply! That Eliezer did not explicitly state the mugger's simple algorithm, but instead implied it in his discussion of complexity and size of numbers, does not obviate this point.