verification-model Buis (240) 2