Loibl vs Lakatos