A comic opera