open Preamble

open Hints_declaration

open Core_notation

open Pts

open Logic