use symbolic <= 0.3.5