Input:
Are these paraphrases?
Finally , we say that a distribution is concave if formula _ 11 is regular .
Finally , we say that if Formula 11 is regular , a distribution is concave .
Output:
[yes]

Input:
Are these paraphrases?
The first thing in racing that you learn is to finish a race , first you have to win .
The first thing to learn in racing is to finish a race , first you have to win .
Output:
[yes]

Input:
Are these paraphrases?
This was a limited release -- only 300 red vinyl copies and 200 black vinyl copies were issued .
This was a limited release -- only 300 black vinyl and 200 red vinyl copies were printed out .
Output:
[no]