mathtool is refined.