diff --git a/pkg/policy/ipld_test.go b/pkg/policy/ipld_test.go
index 689dc73..9939a95 100644
--- a/pkg/policy/ipld_test.go
+++ b/pkg/policy/ipld_test.go
@@ -1,14 +1,11 @@
 package policy
 
 import (
-	"fmt"
 	"testing"
 
 	"github.com/ipld/go-ipld-prime"
 	"github.com/ipld/go-ipld-prime/codec/dagjson"
 	"github.com/stretchr/testify/require"
-
-	"github.com/ucan-wg/go-ucan/pkg/policy/literal"
 )
 
 func TestIpldRoundTrip(t *testing.T) {
@@ -65,19 +62,3 @@ func TestIpldRoundTrip(t *testing.T) {
 		require.JSONEq(t, tc.dagJsonStr, string(wroteAsDagJson))
 	}
 }
-
-func TestFoo(t *testing.T) {
-	fmt.Println(MustConstruct(
-		And(
-			Equal(".foo1", literal.String(".bar1")),
-			NotEqual(".foo2", literal.String(".bar2")),
-		),
-		Or(
-			GreaterThan(".foo5", literal.Float(5.2)),
-			GreaterThanOrEqual(".foo6", literal.Float(6.2)),
-		),
-		Not(Like(".foo7", "*@example.com")),
-		All(".foo8", LessThan(".foo3", literal.Int(3))),
-		Any(".foo9", LessThanOrEqual(".foo4", literal.Int(4))),
-	))
-}
diff --git a/token/invocation/invocation.go b/token/invocation/invocation.go
index 2535e10..a7b091b 100644
--- a/token/invocation/invocation.go
+++ b/token/invocation/invocation.go
@@ -59,6 +59,9 @@ type Token struct {
 
 // New creates an invocation Token with the provided options.
 //
+// The given proofs MUST be ordered from the leaf (matching the invocation) to
+// the root delegation.
+//
 // If no nonce is provided, a random 12-byte nonce is generated. Use the
 // WithNonce or WithEmptyNonce options to specify provide your own nonce
 // or to leave the nonce empty respectively.
diff --git a/token/invocation/proof.go b/token/invocation/proof.go
index fe3e8ac..7f91427 100644
--- a/token/invocation/proof.go
+++ b/token/invocation/proof.go
@@ -63,7 +63,7 @@ func (t *Token) verifyProofs(delegations []*delegation.Token) error {
 		sub = t.audience
 	}
 
-	// control from the invocation to the root
+	// control from the invocation to the root delegation
 	for i, dlgCid := range t.proof {
 		dlg := delegations[i]