verify dual loop