Notes for mathrules4