`defined as`