Text this: Notre Dame journal of formal logic.