Fix to introduction - removed formalist/pragmatist comments