no defunct