Add {Miroiu2013:axiomathirschqualquant}