Natural deduction tool for first order logic.