Our paper VisReason has been submitted to arXiv.