detect conditional violations
reverse back to static errors