forth vertify