true! generation of an answer is much harder than verification. i wonder if a parallel can be drawn to P vs NP problem.