How do you solve 7 + logx = 4?