Problem
Research questions and friction points this paper is trying to address.
random resolution
feasible disjunction property
proof system
Research questions and friction points this paper is trying to address.
Methods, ideas, or system contributions that make the work stand out.