s/defined by/defined as/