The triangular setoff after SemCrude