cleanup of signature of proverse function