(-) 2 1            ==>  1
    flip (-) 2 1       ==> -1

    dec1 = flip (-) 1
    dec1 2             ==> 1