What is the total amount of points that Christy has in the years before 1954?
CREATE TABLE "complete_formula_one_world_championship_" (
  "year" real,
  "entrant" text,
  "chassis" text,
  "engine" text,
  "points" real
);
SELECT SUM("points") FROM "complete_formula_one_world_championship_" WHERE "entrant"='christy' AND "year"<1954;