Input values
Launch propagation