- csv-read-test: reading local files (text) and "alert" them to proof
function
- next step: generating diagram from data!