diff --git a/certora/scripts/verify-marketplace.sh b/certora/scripts/verify-marketplace.sh
index 02baa2fc..1dde17ee 100755
--- a/certora/scripts/verify-marketplace.sh
+++ b/certora/scripts/verify-marketplace.sh
@@ -1,7 +1,18 @@
+if [[ "$1" ]]
+then
+  RULE="--rule $1"
+fi
+
+if [[ "$2" ]]
+then
+  MSG="- $2"
+fi
+
 certoraRun \
   contracts/Marketplace.sol \
 --verify Marketplace:certora/specs/Marketplace.spec \
 --optimistic_loop \
 --loop_iter 3 \
 --rule_sanity "basic" \
---msg "Verifying Marketplace.sol"
+$RULE \
+--msg "Verifying Marketplace.sol $RULE $MSG"