Así, formula_61 precede temporalmente a formula_62 si y sólo si formula_57; formula_61 es simultáneo con formula_62 si y sólo si formula_66.