stumbling towards correctness