And could be used to implement `greater-field` as suggested by @dpom [here](https://github.com/dpom/vlad/commit/881eeccba2729ae94639b39f7bb07def66d8724c).
And could be used to implement
greater-fieldas suggested by @dpom here.