$newline never
$forall (stmt, explanation) <- asStatuses
_{stmt}
^{explanation}