Formal Scripts (connected)