Restate Problem 35's Solution with fewer implicits
Solve Problem 36