was undefined