diff --git a/src/Web/ActivityPub.hs b/src/Web/ActivityPub.hs
index c95de5c..adb36a7 100644
--- a/src/Web/ActivityPub.hs
+++ b/src/Web/ActivityPub.hs
@@ -48,6 +48,7 @@ module Web.ActivityPub
     , Accept (..)
     , Create (..)
     , Follow (..)
+    , Offer (..)
     , Reject (..)
     , Audience (..)
     , SpecificActivity (..)
@@ -776,6 +777,30 @@ encodeFollow (Follow obj hide)
     =  "object"        .= obj
     <> (frg <> "hide") .= hide
 
+data Offer = Offer
+    { offerObject :: Ticket
+    , offerTarget :: FedURI
+    }
+
+parseOffer :: Object -> Text -> LocalURI -> Parser Offer
+parseOffer o h luActor = do
+    ticket <- withHost h $ parseObject =<< o .: "object"
+    unless (luActor == ticketAttributedTo ticket) $
+        fail "Offer actor != Ticket attrib"
+    target <- o .: "target"
+    for_ (ticketLocal ticket) $ \ (host, local) -> do
+        let (hTarget, luTarget) = f2l target
+        unless (hTarget == host) $
+            fail "Offer target host != Ticket local host"
+        unless (luTarget == ticketContext local) $
+            fail "Offer target != Ticket context"
+    return $ Offer ticket target
+
+encodeOffer :: Text -> LocalURI -> Offer -> Series
+encodeOffer host actor (Offer obj target)
+    =  "object" `pair` pairs (toSeries host obj)
+    <> "target" .= target
+
 data Reject = Reject
     { rejectObject :: FedURI
     }
@@ -790,6 +815,7 @@ data SpecificActivity
     = AcceptActivity Accept
     | CreateActivity Create
     | FollowActivity Follow
+    | OfferActivity  Offer
     | RejectActivity Reject
 
 data Activity = Activity
@@ -813,16 +839,11 @@ instance ActivityPub Activity where
                         "Accept" -> AcceptActivity <$> parseAccept o
                         "Create" -> CreateActivity <$> parseCreate o h actor
                         "Follow" -> FollowActivity <$> parseFollow o
+                        "Offer"  -> OfferActivity  <$> parseOffer o h actor
                         "Reject" -> RejectActivity <$> parseReject o
                         _ ->
                             fail $
                                 "Unrecognized activity type: " ++ T.unpack typ
-        where
-        withHost h a = do
-            (h', v) <- a
-            if h == h'
-                then return v
-                else fail "URI host mismatch"
     toSeries host (Activity id_ actor audience specific)
         =  "type"  .= activityType specific
         <> "id"    .= l2f host id_
@@ -834,10 +855,12 @@ instance ActivityPub Activity where
         activityType (AcceptActivity _) = "Accept"
         activityType (CreateActivity _) = "Create"
         activityType (FollowActivity _) = "Follow"
+        activityType (OfferActivity _)  = "Offer"
         activityType (RejectActivity _) = "Reject"
         encodeSpecific _ _ (AcceptActivity a) = encodeAccept a
         encodeSpecific h u (CreateActivity a) = encodeCreate h u a
         encodeSpecific _ _ (FollowActivity a) = encodeFollow a
+        encodeSpecific h u (OfferActivity a)  = encodeOffer h u a
         encodeSpecific _ _ (RejectActivity a) = encodeReject a
 
 typeActivityStreams2 :: ContentType