More sanity checks for sequents and formulas...