Tagged “logical parallelism”