Gergely Lakatos presentations