more runAndCheck