Text this: Dynamic semantics versus dynamic propositionalism.