property(arbInt, arbInt, ( int a, int b => prop(a + b == b + a))); – szakmai viták, nyelvi lehetőségek fóruma