Digit

Regex

DoubleOrdering

Liftables

digit

Regex

divisibleBy

Assertion