Signal propagation, with application to a lower bound on the depth of noisy formulas | Synapse