Today’s algorithmic systems aim to engineer society  ranging from personalization of online ads to prediction of criminal risk for determining bail and parole In such socio-technical systems  it is infeasible to formally specify a complete list of desirable properties