And what I learned in Church's course. He trained us intensively in his new system, which he was just developing. Two papers were presented. I think the second paper wasn't published until well after the course was finished.