^{submissionHeader fullSubmissionInfo} $forall output <- outputs ^{viewOutput output}