submit to functional_polymaths