Talk:Lawvere's fixed-point theorem