CREATE TABLE table_67877 ("7:00" TEXT, "7:30" TEXT, "8:00" TEXT, "8:30" TEXT, "9:00" TEXT, "9:30" TEXT, "10:00" TEXT)

What is on tv at 10:00 on the same channel that had Infoman on at 7:30?
SELECT "10:00" FROM table_67877 WHERE "7:30" = 'infoman'
SELECT "10:00" FROM "table_67877" WHERE "7:30" = 'infoman'