Some Applications of Lawvere’s Fixpoint Theorem