Contains the keyword formal studies