Notions and tools