let mathd-algebra-123 = `!a:int b:int.
    (a > &0 /\ b > &0) /\
    (a + b = &20) /\
    (a = &3 * b)
==>
    a - b = &10
`;;