The statement "charles is writing a book" is true because Charles is a writer