Toward the reconciliation of mathematical theories of voice leading · Study