diff --git a/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala b/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala
index 708c65c1..afcc6272 100644
--- a/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala
+++ b/laws/src/main/scala/cats/mtl/laws/discipline/MonadStateTests.scala
@@ -28,11 +28,9 @@ trait MonadStateTests[F[_], S] extends Laws {
       "set then get returns the set value" -> ∀(laws.setThenGetReturnsSet _),
       "set then set sets the last value" -> ∀(laws.setThenSetSetsLast _),
       "get then get gets once" -> laws.getThenGetGetsOnce,
-      "modify is get then set" -> ∀(laws.modifyIsGetThenSet _),
       "set is state(unit)" -> ∀(laws.setIsStateUnit _),
       "inspect is state" -> ∀(laws.inpectIsState[A] _),
-      "modify is state" -> ∀(laws.modifyIsState _),
-      "stateIsGetAndModify" -> ∀(laws.stateIsGetAndModify[A] _)
+      "modify is state" -> ∀(laws.modifyIsState _)
     )
   }