no need for true to be sym