equivalently

not defined yet