Title: definitions