denoted

not defined yet