FRONTRUNNER (Explicit)

PROVE SUM (Explicit)