Text this: Agency and deontic logic /