CREATE TABLE minor_in (stuid DECIMAL, dno DECIMAL)
CREATE TABLE department (dno DECIMAL, division TEXT, dname TEXT, room TEXT, building TEXT, dphone DECIMAL)
CREATE TABLE enrolled_in (stuid DECIMAL, cid TEXT, grade TEXT)
CREATE TABLE faculty (facid DECIMAL, lname TEXT, fname TEXT, rank TEXT, sex TEXT, phone DECIMAL, room TEXT, building TEXT)
CREATE TABLE student (stuid DECIMAL, lname TEXT, fname TEXT, age DECIMAL, sex TEXT, major DECIMAL, advisor DECIMAL, city_code TEXT)
CREATE TABLE member_of (facid DECIMAL, dno DECIMAL, appt_type TEXT)
CREATE TABLE course (cid TEXT, cname TEXT, credits DECIMAL, instructor DECIMAL, days TEXT, hours TEXT, dno DECIMAL)
CREATE TABLE gradeconversion (lettergrade TEXT, gradepoint DECIMAL)

What are the distinct first names for students with a grade point of 3.8 or above in at least one course?
SELECT DISTINCT T3.fname FROM enrolled_in AS T1 JOIN gradeconversion AS T2 JOIN student AS T3 ON T1.grade = T2.lettergrade AND T1.stuid = T3.stuid WHERE T2.gradepoint >= 3.8
SELECT DISTINCT "T3"."fname" FROM "enrolled_in" AS "T1" JOIN "gradeconversion" AS "T2" ON "T1"."grade" = "T2"."lettergrade" AND "T2"."gradepoint" >= 3.8 JOIN "student" AS "T3" ON "T1"."stuid" = "T3"."stuid"