formalist analysis John Halifax