mathematics:logrules