Formal Hybrid