right now, the options are to either write a synchronizer or (ab)use caveats to do the check