diff --git a/Focus.cabal b/Focus.cabal
--- a/Focus.cabal
+++ b/Focus.cabal
@@ -1,5 +1,5 @@
 Name:          Focus
-Version:       0.1.1
+Version:       0.1.2
 License:       MIT
 License-file:  LICENSE
 Category:      Data
diff --git a/src/Data/Focus.hs b/src/Data/Focus.hs
--- a/src/Data/Focus.hs
+++ b/src/Data/Focus.hs
@@ -10,6 +10,7 @@
     , contract
     , retract
     , unfocused
+    , isUnfocused
     ) where
 
 import Control.Arrow ( first )
@@ -54,6 +55,10 @@
 
 unfocused :: Focus
 unfocused = fromList []
+
+isUnfocused :: Focus -> Bool
+isUnfocused (Focus []) = True
+isUnfocused _ = False
 
 
 -- | Creation
diff --git a/src/Data/Scope.hs b/src/Data/Scope.hs
--- a/src/Data/Scope.hs
+++ b/src/Data/Scope.hs
@@ -6,10 +6,11 @@
 	, fromTuple
 	, toTuple
 	, everywhere
+    , isEverywhere
 	) where
 
 import Control.Arrow ( (&&&) )
-import Data.Focus ( Focus, toList, unfocused )
+import Data.Focus ( Focus, toList, unfocused, isUnfocused )
 import Data.List ( intercalate )
 
 data Scope = Scope Focus Focus deriving (Eq, Ord)
@@ -35,3 +36,6 @@
 
 everywhere :: Scope
 everywhere = Scope unfocused unfocused
+
+isEverywhere :: Scope -> Bool
+isEverywhere (Scope lo hi) = isUnfocused lo && isUnfocused hi