How do you expand log7(ab)?