CREATE TABLE instructors (
  id       SERIAL PRIMARY KEY NOT NULL,
  name     VARCHAR(100),
  coolness INT DEFAULT 5
);