New: impossible-goal