Is there a way to code partial correctness in an experiment.