errant terminal differentiation