submission will return error if elaboration is empty
Merge remote-tracking branch 'origin/master'