last few days has been a whole slew of correctness discoveries.