glued in the omnibus theorem on operations in a mixed simplicial algebra.
writing proposal