Lakatos: An Introduction