out-commented non-working verification