FLP Impossibility on the Tech Tree