Tabular is now bundled with Verify