example for a blackbox without valuesAt and without isZero