well, they're fine for correctness