What is one type of writing not included in the formalistic definition of literature?