diff --git a/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
index 19615eab5..94fc2dc59 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
@@ -16,8 +16,7 @@ public record FreeTerm(@NotNull LocalVar name) implements TyckInternal {
   //   return this;
   // }
 
-  @Override
-  public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
+  @Override public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
     var idx = vars.indexOf(this.name);
     if (idx == -1) return this;
 
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
index 1313889ef..992b23b3b 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2025 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.syntax.core.term;
 
@@ -12,14 +12,8 @@ public record LocalTerm(int index) implements Term {
     assert index >= 0 : "Sanity check";
   }
 
-  @Override
-  public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) {
-    return this;
-  }
-
-  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) {
-    return this;
-  }
+  @Override public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) { return this; }
+  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) { return this; }
 
   @Override public @NotNull Term replaceAllFrom(int from, @NotNull ImmutableSeq<Term> list) {
     var i = index - from;
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/Param.java b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
index bd703fdd7..7f0e1dd57 100644
--- a/syntax/src/main/java/org/aya/syntax/core/term/Param.java
+++ b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
@@ -3,7 +3,6 @@
 package org.aya.syntax.core.term;
 
 import kala.collection.SeqView;
-import kala.collection.immutable.ImmutableSeq;
 import org.aya.generic.AyaDocile;
 import org.aya.pretty.doc.Doc;
 import org.aya.syntax.core.RichParam;