Quantative reasoning