Ensure/Verify example