satisfy (0)