reachdefs seems OK