synth stack thinking = 'is this allowed?'
sov stack thinking = 'does this work?'