certoraRun \
  ./contracts/mvp/CollectibleV1.sol \
  --verify CollectibleV1:./specs/mvp/CollectibleV1.spec \
  --packages @openzeppelin=node_modules/@openzeppelin