Text this: The good old discovery-justification distinction