Blum complexity measure

  1. redirect Blum axioms