use top notation