os C | Os * C-op | Os * C-op Os * C-op s * C-op C-opop