Problem 4 is settled.
Problem 5 is settled.