How do you solve log_2 16 – x = 7?