ports/math/verdict/patches
