verification for all three models