VERA 2022.2 Documentation