איזה מהמשפטים הבאים אינו מוערך בדרך כלל במהלך אימות (verification) השיטה?