all3 of these verifies can be combined into a single statement when the helper is implemented