Given these two callables, what do the arity and call behavior reveal about strictness?

pr = proc { |a, b| } lm = ->(a, b) {} # inspect pr.arity, lm.arity, and pr.call(1) vs lm.call(1)