Procedures: actions and verifiable resultsOrganize prerequisites, actions and verification, with a complete JDBC driver-loading example.