basic verification is functional