Testing formula propagation capabilities.