expr pair: checker