Setup
a
: =
rand
(2, 20)
b
: =
rand
(1, 10)
Condition:
a
>
b
∧
a
+
b
< 10
Choices: No Permute