let
signal_sub s1 s2 = signal_add s1 (signal_neg s2)