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