Paper 2: Mathematical Reasoning · The Logic of Arguments: Arg2 necessary and sufficient