Added "open Logics" to compile it