verification on two models