An application for solving arguments, made by Nir katz and me