Title: More notions