attempt correctness should be null until specified