re-implement async verification (using functinal dependencies)