Added modulo multiplication and equality