import EmlProof

def main : IO Unit :=
  IO.println "EML universality proof type-checked successfully."