rac-jac-properties