New error: invariant. logic errors have stack trace.