diff --git a/lisa-examples/src/main/scala/Example.scala b/lisa-examples/src/main/scala/Example.scala
index 85e4592822b8eeeafaddd0f8bad3d4ef9adae13f..57fee33e2167989fbe243ee11d5ed264eadb9d01 100644
--- a/lisa-examples/src/main/scala/Example.scala
+++ b/lisa-examples/src/main/scala/Example.scala
@@ -139,15 +139,15 @@ object Example {
     p.formulas.foreach(printAnnotatedFormula)
   }
 
-  val P = SchematicPredicateLabel("P", 1)
-
-  val Q = PredicateFormula(SchematicPredicateLabel("Q", 0), Seq())
-  val R = PredicateFormula(SchematicPredicateLabel("R", 0), Seq())
-  val S = PredicateFormula(SchematicPredicateLabel("S", 0), Seq())
-  val T = PredicateFormula(SchematicPredicateLabel("T", 0), Seq())
-  val A = PredicateFormula(SchematicPredicateLabel("A", 0), Seq())
-  val B = PredicateFormula(SchematicPredicateLabel("B", 0), Seq())
-  val C = PredicateFormula(SchematicPredicateLabel("C", 0), Seq())
+  val P = SchematicNPredicateLabel("P", 1)
+
+  val Q = PredicateFormula(VariableFormulaLabel("Q"), Seq())
+  val R = PredicateFormula(VariableFormulaLabel("R"), Seq())
+  val S = PredicateFormula(VariableFormulaLabel("S"), Seq())
+  val T = PredicateFormula(VariableFormulaLabel("T"), Seq())
+  val A = PredicateFormula(VariableFormulaLabel("A"), Seq())
+  val B = PredicateFormula(VariableFormulaLabel("B"), Seq())
+  val C = PredicateFormula(VariableFormulaLabel("C"), Seq())
   val x = VariableLabel("x")
   val f = ConstantFunctionLabel("f", 1)
 
diff --git a/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala b/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
index f39b1bd20c597fa984f8552ff98e24c49b3ab53c..19c8e6702ec9ab648b59e3af2b0028c916924302 100644
--- a/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
+++ b/lisa-utils/src/test/scala/lisa/kernel/FolTests.scala
@@ -101,7 +101,7 @@ class FolTests extends AnyFunSuite {
   private val a = PredicateFormula(ConstantPredicateLabel("A", 0), Seq())
   private val b = PredicateFormula(ConstantPredicateLabel("B", 0), Seq())
   private val fp = ConstantPredicateLabel("F", 1)
-  private val sT = SchematicFunctionLabel("t", 0)
+  private val sT = VariableLabel("t")
 
   def test_some_random_formulas(n: Int, maxDepth: Int): Unit = {
     (0 to n).foreach(_ => println(formulaGenerator(maxDepth)))