reimplemented run/verify