Solved problem 85 and problem 116 locally