Ian Church: Luck and Gettier Problems