mathematics in lean mil