more direct translation dropped reference to stop