How do you condense log_7 ( a/b)?