Guest User

Untitled

a guest
Nov 19th, 2017
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.07 KB | None | 0 0
  1. {a>7 ^ b>=0} n=a-b {n<a ^ a+b>=0}
  2.  
  3. {true} n=a-b {n<a ^ a+b>=0}
Add Comment
Please, Sign In to add comment