have correctness be handled by Predict phase