Vaniver comments on Satisficers’ undefined behaviour