ports/math/verdict
