verification-model Buis (126) 10