BASIC VERIFICATION METHODS. CRISMW 2024, 1 (4), 402-403.