.. added code to check which argument are not necessary to justify the points