3 ms·By my reading it doesn't choose a literal until after unit propagating as far as it can.by abecedarius 15y agoBy my reading it doesn't choose a literal until after unit propagating as far as it can.