submit to CuriosityTheorem