Text this: Multiple-conclusion logic /