use two lost variables for correctness