Verification ("zero zero one"):