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