Made Baxter a proper class