Still needs isPrime and bf.add