for verifying fastInv