Text this: Existence and logic /