"ડેવની બુક્સ એ વેપારનું નામ છે, અને તેણે હોલ્ટન એન્ટરપ્રાઈઝીસ સાથે આ નામને જોડતી બનાવટી નામનું નિવેદન ફાઇલ કર્યું છે.