Assumption to check	Difficulty
Bound of input size function	Easy
Harness	Medium
Function specifications	Hard