cleaned up proof a bit