reaching defs are live