Hybrid_Logic.Hybrid_Logic