additional notions