ArXiv Preprint of DissProve available!