make verify recursive