Ambient loops correctly