Text this: Ordinary logic /