verification, effect, testing