Email Record: Notre Dame journal of formal logic.