Tag mathematical rigor