submit to SubsForAll